-------------------------------------------------------------------------------------------
Version 0.0.4a (03 October 2003)
-------------------------------------------------------------------------------------------
o Updated to a later version of the compiler. Due to some internal changes in the compiler,
  this has the side-effect that some proof sections that were constructed using Sparkle 0.0.3a
  will no longer load correctly in Sparkle 0.0.4a. The following sections are affected:
  
  - All sections that depend on a dictionary, which is most likely to be the case if a
    dictionary is created for a top-level theorem in the section.
    
  The change within the compiler can be summarized as follows: a semi-colon is added to
  the name of each dictionary type. This also affects the names of the functions that
  create a dictionary, select fields from a dictionary and update a dictionary.
  
  The error message that is displayed when an attempt is made to load the section anyway
  will always be of the form:
  
  - "Unable to find symbol X of type Y", where either in X or in Y a reference to a
    dictionary is made.
    
  Unfortunately, this problem can only be corrected by manually editing the section files,
  which are stored in the /Sections subdirectory. Each file begins with a list of SECTION
  DEPENDENCIES. Within this list, the following changes have to be made:
  
  - [dictionary_types]
    All references to "dictionary_<class name>" must be replaced with
                      "dictionary_<class name>;".
  - [dictionary creation]
    All references to "_create_dictionary_<class name>" must be replaced with
                      "_create_dictionary_<class name>;".
  - [dictionary selection]
    All references to "_dictionary_<class name>_select_<member name>" must be replaced with
                      "_dictionary_<class name>;_select_<member name>".
  - [dictionary update]
    All references to "_dictionary_<class name>_updatet_<member name>" must be replaced with
                      "_dictionary_<class name>;_update_<member name>".

-------------------------------------------------------------------------------------------
Version 0.0.3a (21 February 2003)
-------------------------------------------------------------------------------------------
o Relaxed constraints on 'Injective'.
  Now also applicable when applied on a constructor application in a hypothesis which
  is known to be defined.

-------------------------------------------------------------------------------------------
Version 0.0.3a (21 January 2002)
-------------------------------------------------------------------------------------------

o Fixed bug in typing algorithm, causing problems with typing variables in goals.
  The erronous situation occurred for example when one hypothesis produced 'x :: a -> Bool'
  and another one produced 'x :: Int -> b'. A unification error used to be given here.
o Fixed bug in mechanism to propagate defaults in cases.
  Complicated patterns used to be handled incorrectly by Sparkle.
o Added feature: a case within the SAME case is now filled in by Sparkle.

-------------------------------------------------------------------------------------------
Version 0.0.3a (8 January 2002)
-------------------------------------------------------------------------------------------

o Fixed bug with finding Standard Sparkle Environment on some Windows 95/98
  machines. Bug was caused by function 'applicationpath' (from the Object I/O),
  which incorrectly returns the path in MSDOS format (8.3 and all uppercases) on
  some machines.
o Fixed bug with projects where the main module also has a .dcl module.
  These projects can now be loaded correctly.
o Renamed the module 'SparkleEnv' from the Standard Sparkle Environment to
  'StdSparkle'. Made 'StdEnv' again the top-level module (instead of 'SparkleEnv').
  It imports 'StdSparkle'.

-------------------------------------------------------------------------------------------
Version 0.0.2a (21 December 2001)
-------------------------------------------------------------------------------------------
